computer proof